/* 
 * putchar
 */
#include <stdio.h>

int main(int argc, char *argv[])
{
    int value = 10;
    putchar("0123456789ABCDEF" [value % 16]);
    putchar("\n" [0]);
    return 0;
}
